应用基于混合整数线性规划(MILP)模型的S盒紧凑约束计算方法,可以较好地解决SPONGENT在差分密码分析过程中差分路径搜索效率低下的问题;为寻找S盒的最优描述,提出一种紧凑性验证算法从约束条件存在必要性的角度验证S盒的不等式约束的紧凑性问题。首先,引入MILP模型分析SPONGENT S盒的不等式约束,得到了由23个不等式组成的约束;然后,提出一种用于评价约束不等式存在必要性的指标,并基于该指标提出了一种验证约束不等式组紧凑程度的紧凑性验证算法;最后,使用所提算法验证所求得的SPONGENT S盒约束的紧凑性。计算分析表明,23个不等式都具有唯一可以排除的不可能差分模式,即每个不等式都有存在的必要性;同时,对于同一案例,与利用贪心算法原理筛选的不等式相比,数量减少了20%。因此,所得到的SPONGENT的S盒不等式约束是紧凑的,且所提紧凑性验证算法的效果要优于对比的贪心算法。
针对软件质量评价方法中缺乏考虑决策者心理行为的问题,提出一种基于区间二元语义的交互式多准则决策(TODIM)软件质量评价方法。首先,通过区间二元语义表征专家对软件质量的评价信息;其次,利用主观赋权法和逼近理想解排序法(TOPSIS)分别计算软件质量属性的主客观权重,并在此基础上通过组合赋权法获取软件质量属性的综合权重;然后,为更好地刻画专家在软件质量评价过程中的心理行为,将TODIM引入软件质量评价中。利用TODIM方法对高速铁路调度系统的助理调度员终端进行软件质量评价,结果表明铁路软件供应商提供的第3款助理调度员终端软件的占优度值最高,质量最优。将该方法与后悔理论方法以及II类偏好序结构排序法(PROMETHEE-II)进行对比分析,所得结果表明三种方法在质量最优软件的选取上具有一致性,然而三者的总体排序有所差异,说明所构建方法在描述多准则的交互关系和决策者的心理行为上具有较强的优越性。
提出一种基于XDR纲要的空间元数据存储体系结构,建立XDR纲要,将以XML表达的空间元数据映射到SQL Server 2000关系数据库中,可以使用加注释XDR纲要的XML视图对应到数据库的查询,并以XML文件的形式返回查询结果。